n-Simple theories
نویسندگان
چکیده
منابع مشابه
Simple Monadic Theories
From 28.10. to 02.11.2007, the Dagstuhl Seminar 07441 Algorithmic-Logical Theory of In nite Structures was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of s...
متن کاملMinimal types in simple theories
We prove that if M0 is a model of a simple theory, and p(x) is a complete type of Cantor-Bendixon rank 1 over M0, then p is stationary and regular. As a consequence we obtain another proof that any countable model M0 of a countable complete simple theory T has infinitely many countable elementary extensions up to M0-isomorphism. The latter extends earlier results of the author in the stable cas...
متن کاملConcurrency Makes Simple Theories Hard
A standard way of building concurrent systems is by composing several individual processes by product operators. We show that even the simplest notion of product operators (i.e. asynchronous products) suffices to increase the complexity of model checking simple logics like HennessyMilner (HM) logic and its extension with the reachability operator (EF-logic) from PSPACE to nonelementary. In part...
متن کاملOn countable simple unidimensional theories
We prove that any countable simple unidimensional theory T is supersimple, under the additional assumptions that T eliminates hyperimaginaries and that the Dφ-ranks are finite and definable.
متن کاملCountable imaginary simple unidimensional theories
We prove that a countable simple unidimensional theory that eliminates hyperimaginaries is supersimple. This solves a problem of Shelah in the more general context of simple theories under weak assumptions.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2005
ISSN: 0168-0072
DOI: 10.1016/j.apal.2004.06.001